The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·7h·
Discuss: Hacker News
📄Text Chunking
Flag this post
NLP Datasets for Idiom and Figurative Language Tasks
arxiv.org·2d
📊HyperLogLog
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Infix Versus Prefix Operators
irreal.org·14h
🧠Lisp Dialects
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Hands-On With Antigravity: Google’s Newest AI Coding Experiment
thenewstack.io·16h
✨Effect Handlers
Flag this post
Semantic Diffusion
martinfowler.com·1d
🔄Language Evolution
Flag this post
Management Pseudo-Science
laser-coder.net·13h·
Discuss: Hacker News
📏Code Metrics
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
⚙️TLA+
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
reddit.com·11h·
Discuss: r/MachineLearning
🎵Audio ML
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Notes for November 17-22
taoofmac.com·7h
🌀Brotli Internals
Flag this post
Zig in 30 Minutes
gist.github.com·11h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post